Robust Topology Formation using BTnodes Jan Beutel 1 Computer Engineering and Networks Laboratory Swiss Federal Institute of Technology (ETH) Zurich, Switzerland

Source URL: www.tik.ee.ethz.ch

Modeling and solving mathematical optimization problems with Python SciPy India 2015 Industrial Engineering and Operations Research Indian Institute of Technology Bombay

Source URL: fossee.in

Dr Alexa Delbosc Curriculum Vitae PERSONAL INFORMATION Institute of Transport Studies (Monash) Department of Civil Engineering 23 College Walk

Source URL: users.monash.edu.au

A Regularized Competition Model for Question Difficulty Estimation in Community Question Answering Services † Quan Wang† Jing Liu‡ Bin Wang† Li Guo† Institute of Information Engineering, Chinese Academy of Scie

Source URL: emnlp2014.org

Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational seman

Source URL: www.cs.ioc.ee

• Theoretical computer science
• Models of computation
• Mathematical logic
• Software engineering
• Computability theory
• Denotational semantics
• Logic in computer science
• Lambda calculus
• Substitution
• Function type

Program Equilibrium Moshe Tennenholtz ∗ Faculty of Industrial Engineering and Management Technion – Israel Institute of Technology Haifa 32000, Israel

Source URL: ie.technion.ac.il

Autonomous Traffic Engineering with Self-Configuring Link Weights Srikanth Sundaresan†, Cristian Lumezanu†, Pierre Francois‡, Nick Feamster† †Georgia Institute of Technology ‡Université catholique de Louvain

Source URL: www1.icsi.berkeley.edu

Supporting Time-Sensitive Applications on a Commodity OS Ashvin Goel, Luca Abeni, Charles Krasic, Jim Snow, Jonathan Walpole Department of Computer Science and Engineering Oregon Graduate Institute, Portland {ashvin,luca

Source URL: www.eecg.toronto.edu

Cognitive Hacking and Digital Government: Digital Identity Paul Thompson Institute for Security Technology Studies Thayer School of Engineering, Dartmouth College Hanover, New Hampshire 03755, U.S.A.

Source URL: www.ists.dartmouth.edu

On Distributed Distortion Optimization for Correlated Sources Tao Cui, Tracey Ho, and Lijun Chen Division of Engineering and Applied Science California Institute of Technology Pasadena, CA, USA 91125

Source URL: www.its.caltech.edu